2.2.28 Integrals 2701 to 2800

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2701

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

139 143 347 0 0 0 131 0 0

N.S.

1 1.03 2.50 0.00 0.00 0.00 0.94 0.00 0.00

time (sec)

N/A 0.244 0.938 0.000 0.000 0.000 4.378 0.000 0.000

Problem 2702

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

89 87 56 0 0 0 39 0 0

N.S.

1 0.98 0.63 0.00 0.00 0.00 0.44 0.00 0.00

time (sec)

N/A 0.198 0.056 0.000 0.000 0.000 0.708 0.000 0.000

Problem 2703

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

114 114 58 0 0 0 46 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.219 0.060 0.000 0.000 0.000 4.135 0.000 0.000

Problem 2704

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 62 63 0 0 0 70 0 0

N.S.

1 1.15 1.17 0.00 0.00 0.00 1.30 0.00 0.00

time (sec)

N/A 0.190 0.048 0.000 0.000 0.000 5.285 0.000 0.000

Problem 2705

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 132 55 0 0 192 1724 0 64

N.S.

1 0.90 0.38 0.00 0.00 1.32 11.81 0.00 0.44

time (sec)

N/A 0.262 0.075 0.000 0.000 0.299 1.120 0.000 5.910

Problem 2706

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

96 91 55 0 0 126 695 0 64

N.S.

1 0.95 0.57 0.00 0.00 1.31 7.24 0.00 0.67

time (sec)

N/A 0.222 0.058 0.000 0.000 0.305 0.928 0.000 5.932

Problem 2707

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 55 0 0 68 250 0 64

N.S.

1 1.00 1.10 0.00 0.00 1.36 5.00 0.00 1.28

time (sec)

N/A 0.176 0.052 0.000 0.000 0.282 0.769 0.000 5.960

Problem 2708

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 47 0 31 42 0 75

N.S.

1 1.00 1.00 2.61 0.00 1.72 2.33 0.00 4.17

time (sec)

N/A 0.144 0.053 3.906 0.000 0.293 0.692 0.000 5.895

Problem 2709

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 39 50 0 0 0 39 0 51

N.S.

1 0.78 1.00 0.00 0.00 0.00 0.78 0.00 1.02

time (sec)

N/A 0.184 0.021 0.000 0.000 0.000 6.319 0.000 6.073

Problem 2710

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 53 0 0 0 48 0 54

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.91 0.00 1.02

time (sec)

N/A 0.180 0.031 0.000 0.000 0.000 1.488 0.000 6.024

Problem 2711

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 55 0 0 0 48 0 56

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.87 0.00 1.02

time (sec)

N/A 0.185 0.028 0.000 0.000 0.000 1.704 0.000 5.995

Problem 2712

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 21 25 24 42 24 21

N.S.

1 1.00 1.00 1.00 1.19 1.14 2.00 1.14 1.00

time (sec)

N/A 0.145 0.006 0.052 0.216 0.276 0.970 0.303 6.260

Problem 2713

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 19 22 32 22 18

N.S.

1 1.00 1.00 1.06 1.06 1.22 1.78 1.22 1.00

time (sec)

N/A 0.142 0.004 0.033 0.218 0.266 0.649 0.284 6.202

Problem 2714

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 19 19 22 32 22 18

N.S.

1 1.00 1.00 1.06 1.06 1.22 1.78 1.22 1.00

time (sec)

N/A 0.140 0.003 0.028 0.235 0.428 0.550 0.301 5.624

Problem 2715

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 17 17 20 29 20 16

N.S.

1 1.00 1.00 1.06 1.06 1.25 1.81 1.25 1.00

time (sec)

N/A 0.143 0.002 0.030 0.214 0.288 0.406 0.278 6.380

Problem 2716

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 15 15 18 20 14 0

N.S.

1 1.00 1.00 1.07 1.07 1.29 1.43 1.00 0.00

time (sec)

N/A 0.141 0.002 0.030 0.198 0.271 0.117 0.271 0.000

Problem 2717

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 19 19 22 27 0 0

N.S.

1 1.00 0.90 0.95 0.95 1.10 1.35 0.00 0.00

time (sec)

N/A 0.143 0.004 0.027 0.215 0.288 0.508 0.000 0.000

Problem 2718

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 19 19 22 34 0 0

N.S.

1 1.00 0.90 0.95 0.95 1.10 1.70 0.00 0.00

time (sec)

N/A 0.142 0.003 0.035 0.222 0.267 0.650 0.000 0.000

Problem 2719

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 18 19 19 22 34 0 0

N.S.

1 1.00 0.90 0.95 0.95 1.10 1.70 0.00 0.00

time (sec)

N/A 0.142 0.003 0.049 0.224 0.267 0.802 0.000 0.000

Problem 2720

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 23 29 23 27 78 23 23

N.S.

1 1.00 1.00 1.26 1.00 1.17 3.39 1.00 1.00

time (sec)

N/A 0.150 0.035 13.949 0.197 0.271 10.759 0.304 6.146

Problem 2721

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 47 40 61 51 62 274 0 0

N.S.

1 0.96 0.82 1.24 1.04 1.27 5.59 0.00 0.00

time (sec)

N/A 0.188 0.078 4.301 0.213 0.275 29.350 0.000 0.000

Problem 2722

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 70 66 105 79 108 770 0 0

N.S.

1 0.93 0.88 1.40 1.05 1.44 10.27 0.00 0.00

time (sec)

N/A 0.215 0.099 4.135 0.215 0.267 91.648 0.000 0.000

Problem 2723

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 95 78 171 114 158 1669 0 0

N.S.

1 0.92 0.76 1.66 1.11 1.53 16.20 0.00 0.00

time (sec)

N/A 0.235 0.142 4.134 0.226 0.254 137.670 0.000 0.000

Problem 2724

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 70 0 53 39 0 0

N.S.

1 1.00 1.00 2.19 0.00 1.66 1.22 0.00 0.00

time (sec)

N/A 0.167 0.098 3.973 0.000 0.270 3.071 0.000 0.000

Problem 2725

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 113 136 151 111 221 111 151

N.S.

1 1.00 4.71 5.67 6.29 4.62 9.21 4.62 6.29

time (sec)

N/A 0.151 0.022 8.654 0.202 0.266 2.000 0.335 0.002

Problem 2726

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 29 29 37 34 36 0 52

N.S.

1 1.00 0.97 0.97 1.23 1.13 1.20 0.00 1.73

time (sec)

N/A 0.155 0.044 4.159 0.205 0.253 93.099 0.000 6.147

Problem 2727

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 108 91 90 90 97 90 92

N.S.

1 1.00 5.68 4.79 4.74 4.74 5.11 4.74 4.84

time (sec)

N/A 0.142 0.011 3.729 0.200 0.262 0.563 0.308 5.806

Problem 2728

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 26 25 23 28 22 41 0 22

N.S.

1 1.13 1.09 1.00 1.22 0.96 1.78 0.00 0.96

time (sec)

N/A 0.155 0.008 3.660 0.197 0.305 0.313 0.000 0.002

Problem 2729

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 26 22 21 23 18 15 22 18

N.S.

1 1.18 1.00 0.95 1.05 0.82 0.68 1.00 0.82

time (sec)

N/A 0.153 0.008 3.729 0.207 0.285 0.114 0.288 5.747

Problem 2730

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 132 55 0 0 192 1911 0 64

N.S.

1 0.90 0.37 0.00 0.00 1.31 13.00 0.00 0.44

time (sec)

N/A 0.265 0.033 0.000 0.000 0.281 4.438 0.000 5.968

Problem 2731

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 91 55 0 0 126 767 0 64

N.S.

1 0.94 0.57 0.00 0.00 1.30 7.91 0.00 0.66

time (sec)

N/A 0.221 0.032 0.000 0.000 0.280 3.934 0.000 5.871

Problem 2732

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 55 88 0 68 241 0 64

N.S.

1 1.00 1.08 1.73 0.00 1.33 4.73 0.00 1.25

time (sec)

N/A 0.185 0.022 3.767 0.000 0.268 2.679 0.000 5.975

Problem 2733

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 35 0 31 99 0 75

N.S.

1 1.00 1.00 1.94 0.00 1.72 5.50 0.00 4.17

time (sec)

N/A 0.142 0.017 4.020 0.000 0.254 2.379 0.000 6.074

Problem 2734

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 39 50 0 0 0 39 0 51

N.S.

1 0.78 1.00 0.00 0.00 0.00 0.78 0.00 1.02

time (sec)

N/A 0.183 0.003 0.000 0.000 0.000 6.218 0.000 0.002

Problem 2735

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 53 0 0 0 48 0 54

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.81 0.00 0.92

time (sec)

N/A 0.185 0.010 0.000 0.000 0.000 2.215 0.000 6.002

Problem 2736

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 55 0 0 0 48 0 56

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.86 0.00 1.00

time (sec)

N/A 0.184 0.004 0.000 0.000 0.000 2.384 0.000 5.874

Problem 2737

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 16 32 15 39 0 22

N.S.

1 1.00 1.00 1.07 2.13 1.00 2.60 0.00 1.47

time (sec)

N/A 0.150 0.025 3.674 0.199 0.253 0.337 0.000 5.788

Problem 2738

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 25 21 19 18 46 19 19

N.S.

1 1.00 1.32 1.11 1.00 0.95 2.42 1.00 1.00

time (sec)

N/A 0.149 0.041 3.801 0.203 0.259 0.542 0.283 5.859

Problem 2739

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 32 27 35 109 26 27

N.S.

1 1.00 1.00 1.19 1.00 1.30 4.04 0.96 1.00

time (sec)

N/A 0.164 0.044 4.139 0.198 0.254 9.834 0.302 6.156

Problem 2740

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 57 70 67 58 94 58 72

N.S.

1 1.00 0.80 0.99 0.94 0.82 1.32 0.82 1.01

time (sec)

N/A 0.212 0.089 3.925 0.214 0.259 0.389 0.311 6.009

Problem 2741

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 42 50 48 42 68 42 38

N.S.

1 1.00 0.81 0.96 0.92 0.81 1.31 0.81 0.73

time (sec)

N/A 0.193 0.062 4.058 0.193 0.257 0.248 0.289 5.913

Problem 2742

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 26 29 28 25 39 25 23

N.S.

1 1.00 0.87 0.97 0.93 0.83 1.30 0.83 0.77

time (sec)

N/A 0.173 0.041 0.038 0.221 0.261 0.169 0.284 5.761

Problem 2743

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A B F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 61 0 96 124 0 0

N.S.

1 1.00 1.00 1.85 0.00 2.91 3.76 0.00 0.00

time (sec)

N/A 0.160 0.049 4.069 0.000 0.536 9.444 0.000 0.000

Problem 2744

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 63 53 95 0 212 0 0 0

N.S.

1 0.94 0.79 1.42 0.00 3.16 0.00 0.00 0.00

time (sec)

N/A 0.175 0.052 3.982 0.000 0.267 0.000 0.000 0.000

Problem 2745

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 96 35 110 0 340 0 0 0

N.S.

1 0.99 0.36 1.13 0.00 3.51 0.00 0.00 0.00

time (sec)

N/A 0.188 0.048 3.940 0.000 0.275 0.000 0.000 0.000

Problem 2746

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

136 128 88 0 0 0 107 0 0

N.S.

1 0.94 0.65 0.00 0.00 0.00 0.79 0.00 0.00

time (sec)

N/A 0.206 0.119 0.000 0.000 0.000 49.419 0.000 0.000

Problem 2747

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 98 86 0 0 0 107 0 0

N.S.

1 0.94 0.83 0.00 0.00 0.00 1.03 0.00 0.00

time (sec)

N/A 0.187 0.086 0.000 0.000 0.000 5.610 0.000 0.000

Problem 2748

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

72 68 85 0 0 0 107 0 0

N.S.

1 0.94 1.18 0.00 0.00 0.00 1.49 0.00 0.00

time (sec)

N/A 0.175 0.074 0.000 0.000 0.000 1.035 0.000 0.000

Problem 2749

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 66 0 0 0 107 0 0

N.S.

1 1.00 1.74 0.00 0.00 0.00 2.82 0.00 0.00

time (sec)

N/A 0.165 0.082 0.000 0.000 0.000 0.845 0.000 0.000

Problem 2750

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

29 29 29 0 0 47 107 0 27

N.S.

1 1.00 1.00 0.00 0.00 1.62 3.69 0.00 0.93

time (sec)

N/A 0.155 0.065 0.000 0.000 0.281 1.379 0.000 5.717

Problem 2751

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 46 0 0 93 107 0 39

N.S.

1 1.00 0.71 0.00 0.00 1.43 1.65 0.00 0.60

time (sec)

N/A 0.198 0.112 0.000 0.000 0.384 5.512 0.000 5.774

Problem 2752

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 106 61 0 0 135 107 0 54

N.S.

1 1.04 0.60 0.00 0.00 1.32 1.05 0.00 0.53

time (sec)

N/A 0.237 0.128 0.000 0.000 0.267 50.741 0.000 5.792

Problem 2753

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

20 20 20 17 16 16 48 16 18

N.S.

1 1.00 1.00 0.85 0.80 0.80 2.40 0.80 0.90

time (sec)

N/A 0.136 0.035 3.705 0.192 0.277 0.440 0.292 5.856

Problem 2754

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 18 58 18 20

N.S.

1 1.00 1.00 0.86 0.82 0.82 2.64 0.82 0.91

time (sec)

N/A 0.142 0.038 3.862 0.192 0.293 0.455 0.280 5.882

Problem 2755

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B B B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

64 64 47 201 71 172 1148 613 89

N.S.

1 1.00 0.73 3.14 1.11 2.69 17.94 9.58 1.39

time (sec)

N/A 0.200 0.046 3.819 0.217 0.276 1.449 0.289 5.707

Problem 2756

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 41 57 56 87 337 135 95

N.S.

1 1.00 0.71 0.98 0.97 1.50 5.81 2.33 1.64

time (sec)

N/A 0.200 0.040 4.019 0.204 0.271 0.369 0.281 5.689

Problem 2757

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 41 57 56 87 330 135 95

N.S.

1 1.00 0.71 0.98 0.97 1.50 5.69 2.33 1.64

time (sec)

N/A 0.202 0.040 3.840 0.211 0.266 0.300 0.273 5.677

Problem 2758

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 39 57 56 87 323 135 95

N.S.

1 1.00 0.67 0.98 0.97 1.50 5.57 2.33 1.64

time (sec)

N/A 0.194 0.036 3.737 0.208 0.263 0.256 0.276 5.817

Problem 2759

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 36 56 51 63 192 0 45

N.S.

1 1.00 0.69 1.08 0.98 1.21 3.69 0.00 0.87

time (sec)

N/A 0.194 0.081 0.032 0.214 0.273 0.249 0.000 5.743

Problem 2760

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 64 60 56 81 388 0 89

N.S.

1 1.00 1.05 0.98 0.92 1.33 6.36 0.00 1.46

time (sec)

N/A 0.207 0.064 0.037 0.194 0.264 0.318 0.000 5.687

Problem 2761

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 67 60 56 87 449 0 97

N.S.

1 1.00 1.06 0.95 0.89 1.38 7.13 0.00 1.54

time (sec)

N/A 0.212 0.071 0.049 0.216 0.428 0.394 0.000 5.721

Problem 2762

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 67 37 0 0 225 58 0 0

N.S.

1 0.91 0.50 0.00 0.00 3.04 0.78 0.00 0.00

time (sec)

N/A 0.197 0.016 0.000 0.000 0.279 0.665 0.000 0.000

Problem 2763

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

222 180 39 0 0 329 233 0 0

N.S.

1 0.81 0.18 0.00 0.00 1.48 1.05 0.00 0.00

time (sec)

N/A 0.352 0.015 0.000 0.000 0.412 1.061 0.000 0.000

Problem 2764

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

317 279 39 0 0 404 318 0 0

N.S.

1 0.88 0.12 0.00 0.00 1.27 1.00 0.00 0.00

time (sec)

N/A 0.476 0.015 0.000 0.000 0.514 1.138 0.000 0.000

Problem 2765

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

69 51 43 0 63 59 36 0 0

N.S.

1 0.74 0.62 0.00 0.91 0.86 0.52 0.00 0.00

time (sec)

N/A 0.207 0.018 0.000 0.210 0.282 0.910 0.000 0.000

Problem 2766

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 67 37 0 0 225 58 0 0

N.S.

1 0.91 0.50 0.00 0.00 3.04 0.78 0.00 0.00

time (sec)

N/A 0.196 0.001 0.000 0.000 0.284 0.679 0.000 0.000

Problem 2767

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 175 37 0 0 255 223 0 0

N.S.

1 0.80 0.17 0.00 0.00 1.16 1.01 0.00 0.00

time (sec)

N/A 0.340 0.015 0.000 0.000 0.275 1.046 0.000 0.000

Problem 2768

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

315 274 37 0 0 298 308 0 0

N.S.

1 0.87 0.12 0.00 0.00 0.95 0.98 0.00 0.00

time (sec)

N/A 0.465 0.015 0.000 0.000 0.282 1.145 0.000 0.000

Problem 2769

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

100 90 39 0 0 492 87 0 0

N.S.

1 0.90 0.39 0.00 0.00 4.92 0.87 0.00 0.00

time (sec)

N/A 0.225 0.016 0.000 0.000 0.357 1.089 0.000 0.000

Problem 2770

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 198 39 0 0 351 280 0 0

N.S.

1 0.80 0.16 0.00 0.00 1.43 1.14 0.00 0.00

time (sec)

N/A 0.372 0.015 0.000 0.000 0.548 1.090 0.000 0.000

Problem 2771

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F C C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

341 297 39 0 0 430 371 0 0

N.S.

1 0.87 0.11 0.00 0.00 1.26 1.09 0.00 0.00

time (sec)

N/A 0.489 0.015 0.000 0.000 1.179 1.193 0.000 0.000

Problem 2772

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 44 0 0 0 117 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 2.66 0.00 0.00

time (sec)

N/A 0.167 0.043 0.000 0.000 0.000 0.561 0.000 0.000

Problem 2773

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

46 46 44 0 0 0 117 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 2.54 0.00 0.00

time (sec)

N/A 0.173 0.045 0.000 0.000 0.000 0.549 0.000 0.000

Problem 2774

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 44 0 0 0 117 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 2.66 0.00 0.00

time (sec)

N/A 0.169 0.046 0.000 0.000 0.000 0.554 0.000 0.000

Problem 2775

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

44 44 45 0 0 0 117 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 2.66 0.00 0.00

time (sec)

N/A 0.165 0.042 0.000 0.000 0.000 0.548 0.000 0.000

Problem 2776

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

40 40 36 0 0 0 66 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 1.65 0.00 0.00

time (sec)

N/A 0.167 0.061 0.000 0.000 0.000 0.534 0.000 0.000

Problem 2777

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

28 28 29 0 24 20 17 0 0

N.S.

1 1.00 1.04 0.00 0.86 0.71 0.61 0.00 0.00

time (sec)

N/A 0.164 0.007 0.000 0.219 0.255 0.462 0.000 0.000

Problem 2778

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

50 50 44 0 0 0 63 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 1.26 0.00 0.00

time (sec)

N/A 0.165 0.044 0.000 0.000 0.000 0.536 0.000 0.000

Problem 2779

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 52 44 0 0 0 66 0 0

N.S.

1 1.00 0.85 0.00 0.00 0.00 1.27 0.00 0.00

time (sec)

N/A 0.171 0.043 0.000 0.000 0.000 0.554 0.000 0.000

Problem 2780

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 31 25 22 22 73 0 29

N.S.

1 1.00 1.29 1.04 0.92 0.92 3.04 0.00 1.21

time (sec)

N/A 0.150 0.017 3.787 0.215 0.259 0.716 0.000 5.691

Problem 2781

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 210 133 0 0 231 190 0 0

N.S.

1 1.18 0.75 0.00 0.00 1.30 1.07 0.00 0.00

time (sec)

N/A 0.252 0.199 0.000 0.000 0.283 7.734 0.000 0.000

Problem 2782

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

137 158 121 0 0 192 150 0 0

N.S.

1 1.15 0.88 0.00 0.00 1.40 1.09 0.00 0.00

time (sec)

N/A 0.228 0.095 0.000 0.000 0.305 2.784 0.000 0.000

Problem 2783

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

91 104 110 0 0 142 66 0 0

N.S.

1 1.14 1.21 0.00 0.00 1.56 0.73 0.00 0.00

time (sec)

N/A 0.202 0.059 0.000 0.000 0.296 1.404 0.000 0.000

Problem 2784

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 54 78 0 0 0 31 0 0

N.S.

1 1.00 1.44 0.00 0.00 0.00 0.57 0.00 0.00

time (sec)

N/A 0.186 0.070 0.000 0.000 0.000 0.722 0.000 0.000

Problem 2785

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) A F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

31 31 31 0 0 0 31 0 29

N.S.

1 1.00 1.00 0.00 0.00 0.00 1.00 0.00 0.94

time (sec)

N/A 0.153 0.015 0.000 0.000 0.000 0.516 0.000 5.684

Problem 2786

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

65 65 41 0 0 0 71 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 1.09 0.00 0.00

time (sec)

N/A 0.179 0.020 0.000 0.000 0.000 0.606 0.000 0.000

Problem 2787

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 104 56 0 0 0 405 0 0

N.S.

1 1.06 0.57 0.00 0.00 0.00 4.13 0.00 0.00

time (sec)

N/A 0.219 0.027 0.000 0.000 0.000 0.810 0.000 0.000

Problem 2788

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 145 69 0 0 0 677 0 0

N.S.

1 1.12 0.53 0.00 0.00 0.00 5.25 0.00 0.00

time (sec)

N/A 0.252 0.030 0.000 0.000 0.000 1.022 0.000 0.000

Problem 2789

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 67 64 0 0 0 73 0 0

N.S.

1 1.14 1.08 0.00 0.00 0.00 1.24 0.00 0.00

time (sec)

N/A 0.192 0.019 0.000 0.000 0.000 5.246 0.000 0.000

Problem 2790

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 66 62 0 0 0 63 0 0

N.S.

1 1.18 1.11 0.00 0.00 0.00 1.12 0.00 0.00

time (sec)

N/A 0.194 0.045 0.000 0.000 0.000 4.248 0.000 0.000

Problem 2791

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 66 62 0 0 0 63 0 0

N.S.

1 1.18 1.11 0.00 0.00 0.00 1.12 0.00 0.00

time (sec)

N/A 0.196 0.046 0.000 0.000 0.000 4.314 0.000 0.000

Problem 2792

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

52 62 58 0 0 0 60 0 0

N.S.

1 1.19 1.12 0.00 0.00 0.00 1.15 0.00 0.00

time (sec)

N/A 0.191 0.038 0.000 0.000 0.000 4.047 0.000 0.000

Problem 2793

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 46 46 0 0 0 46 0 47

N.S.

1 1.21 1.21 0.00 0.00 0.00 1.21 0.00 1.24

time (sec)

N/A 0.174 0.018 0.000 0.000 0.000 0.884 0.000 6.762

Problem 2794

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 64 59 0 0 0 70 0 0

N.S.

1 1.21 1.11 0.00 0.00 0.00 1.32 0.00 0.00

time (sec)

N/A 0.192 0.045 0.000 0.000 0.000 4.194 0.000 0.000

Problem 2795

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 66 63 0 0 0 76 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.36 0.00 0.00

time (sec)

N/A 0.193 0.047 0.000 0.000 0.000 4.210 0.000 0.000

Problem 2796

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 66 63 0 0 0 76 0 0

N.S.

1 1.18 1.12 0.00 0.00 0.00 1.36 0.00 0.00

time (sec)

N/A 0.198 0.047 0.000 0.000 0.000 4.210 0.000 0.000

Problem 2797

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

63 52 63 0 0 0 46 0 0

N.S.

1 0.83 1.00 0.00 0.00 0.00 0.73 0.00 0.00

time (sec)

N/A 0.209 0.046 0.000 0.000 0.000 1.995 0.000 0.000

Problem 2798

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 37 74 0 75 49 0 0

N.S.

1 1.00 1.00 2.00 0.00 2.03 1.32 0.00 0.00

time (sec)

N/A 0.170 0.030 4.304 0.000 0.260 4.201 0.000 0.000

Problem 2799

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 69 0 0 144 172 0 0

N.S.

1 1.00 0.87 0.00 0.00 1.82 2.18 0.00 0.00

time (sec)

N/A 0.215 0.104 0.000 0.000 0.279 4.354 0.000 0.000

Problem 2800

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A B F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

127 127 69 0 0 215 566 0 0

N.S.

1 1.00 0.54 0.00 0.00 1.69 4.46 0.00 0.00

time (sec)

N/A 0.262 0.106 0.000 0.000 0.286 4.573 0.000 0.000